Volker Haarslev: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Managing changes in distributed biomedical ontologies using hierarchical distributed graph transformation

Nejad, Arash Shaban, Haarslev, Volker

Journal:

International Journal of Data Mining and Bioinformatics

Year:

2015

Language:

english

File:

PDF, 1.15 MB

english, 2015

2

Biomedical Ontologies || The Ecology of Ontologies in the Public Domain

Christopher J. O. Baker, Robert H. Warren, Volker Haarslev and Greg Butler

Journal:

Year:

2007

Language:

english

File:

PDF, 1.50 MB

english, 2007

3

A framework for visualizing object-oriented systems

Haarslev, Volker, Möller, Ralf

Journal:

ACM SIGPLAN Notices

Year:

1990

Language:

english

File:

PDF, 963 KB

english, 1990

4

A parallel computing architecture for high-performance OWL reasoning

Quan, Zixi, Haarslev, Volker

Journal:

Parallel Computing

Year:

2018

Language:

english

File:

PDF, 876 KB

english, 2018

5

A machine learning approach for optimizing heuristic decisionâmaking in Web Ontology Language reasoners

Mehri, Razieh, Haarslev, Volker, Chinaei, Hamidreza

Journal:

Computational Intelligence

Year:

2020

File:

PDF, 1.92 MB

2020

6

A formal framework for description logics with uncertainty

Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri

Journal:

International Journal of Approximate Reasoning

Year:

2009

Language:

english

File:

PDF, 324 KB

english, 2009

7

Algebraic tableau reasoning for the description logic

Jocelyne Faddoul, Volker Haarslev

Journal:

Journal of Applied Logic

Year:

2010

Language:

english

File:

PDF, 698 KB

english, 2010

8

Semantic web infrastructure for fungal enzyme biotechnologists

Christopher J.O. Baker, Arash Shaban-Nejad, Xiao Su, Volker Haarslev, Greg Butler

Journal:

Web Semantics: Science, Services and Agents on the World Wide Web

Year:

2006

Language:

english

File:

PDF, 910 KB

english, 2006

9

On the Scalability of Description Logic Instance Retrieval

Volker Haarslev, Ralf Möller

Journal:

Journal of Automated Reasoning

Year:

2008

Language:

english

File:

PDF, 1.46 MB

english, 2008

10

Using Patterns to Explain Inferences in

Xi Deng, Volker Haarslev, Nematollaah Shiri

Journal:

Computational Intelligence

Year:

2007

Language:

english

File:

PDF, 683 KB

english, 2007

11

A Logic-based Formalism for Reasoning about Visual Representations

VOLKER HAARSLEV

Journal:

Journal of Visual Languages & Computing

Year:

1999

Language:

english

File:

PDF, 273 KB

english, 1999

12

Visualization and graphical layout in object-oriented systems

Volker Haarslev, Ralf Möller

Journal:

Journal of Visual Languages & Computing

Year:

1992

Language:

english

File:

PDF, 4.82 MB

english, 1992

13

[Lecture Notes in Computer Science] Theory and Application of Diagrams Volume 1889 ||

Anderson, Michael, Cheng, Peter, Haarslev, Volker

Year:

2000

Language:

english

File:

PDF, 8.10 MB

english, 2000

14

[IEEE 30th Annual International Computer Software and Applications Conference (COMPSAC'06) - Chicaco, IL (2006.09.17-2006.09.21)] 30th Annual International Computer Software and Applications Conference (COMPSAC'06) - An Ontology-Based Approach to Software Comprehension - Reasoning about Security Concerns

Zhang, Yonggang, Rilling, Juergen, Haarslev, Volker

Year:

2006

Language:

english

File:

PDF, 228 KB

english, 2006

15

An OWL 2-Based Knowledge Platform Combining the Social and Semantic Webs for an Ambient Childhood Obesity Prevention System

El-Hachem, Jinan, Shaban-Nejad, Arash, Haarslev, Volker, DubŽ, Laurette, Buckeridge, David L.

Journal:

Procedia Computer Science

Year:

2012

Language:

english

File:

PDF, 1.54 MB

english, 2012

16

[IEEE Twentieth IEEE International Symposium on Computer-Based Medical Systems - Maribor, Slovenia (2007.06.20-2007.06.22)] Twentieth IEEE International Symposium on Computer-Based Medical Systems (CBMS'07) - Managing Conceptual Revisions in a Temporal Fungal Taxonomy

Shaban-Nejad, Arash, Haarslev, Volker

Year:

2007

Language:

english

File:

PDF, 160 KB

english, 2007

17

[IEEE Third International Conference on Semantics, Knowledge and Grid (SKG 2007) - Xi'an, Shan Xi, China (2007.10.29-2007.10.31)] Third International Conference on Semantics, Knowledge and Grid (SKG 2007) - Resolving Quantifier and Number Restriction to Question OWL Ontologies

Mithun, Shamima, Kosseim, Leila, Haarslev, Volker

Year:

2007

Language:

english

File:

PDF, 220 KB

english, 2007

18

[IEEE 2006 Eighth IEEE International Symposium on Web Site Evolution (WSE'06) - Philadelphia, PA, USA (2006.9.23-2006.9.23)] 2006 Eighth IEEE International Symposium on Web Site Evolution (WSE'06) - Ontology-based Program Comprehension Tool Supporting Website Architectural Evolution

Zhang, Yonggang, Witte, Rene, Rilling, Juergen, Haarslev, Volker

Year:

2006

Language:

english

File:

PDF, 307 KB

english, 2006

19

[IEEE 2008 8th IEEE International Conference on Bioinformatics and BioEngineering (BIBE) - Athens, Greece (2008.10.8-2008.10.10)] 2008 8th IEEE International Conference on BioInformatics and BioEngineering - Ontology-inferred phylogeny reconstruction for analyzing the evolutionary relationships between species: Ontological inference versus cladistics

Shaban-Nejad, Arash, Haarslev, Volker

Year:

2008

Language:

english

File:

PDF, 458 KB

english, 2008

20

[IEEE 2011 IEEE Congress on Evolutionary Computation (CEC) - New Orleans, LA, USA (2011.06.5-2011.06.8)] 2011 IEEE Congress of Evolutionary Computation (CEC) - An abstract representation model for evolutionary analysis of multi-agent interactions

Shaban-Nejad, Arash, Haarslev, Volker

Year:

2011

Language:

english

File:

PDF, 560 KB

english, 2011

21

[IEEE 2008 IEEE International Conference on Information Reuse and Integration - Las Vegas, NV, USA (2008.07.13-2008.07.15)] 2008 IEEE International Conference on Information Reuse and Integration - An ontology-empowered model for annotating protein-protein interaction data: a case study for budding yeast

Shaban-Nejad, Arash, Haarslev, Volker

Year:

2008

Language:

english

File:

PDF, 317 KB

english, 2008

22

[Lecture Notes in Computer Science] Theory and Application of Diagrams Volume 1889 || Lines, Blobs, Crosses and Arrows: Diagrammatic Communication with Schematic Figures

Anderson, Michael, Cheng, Peter, Haarslev, Volker

Year:

2000

Language:

english

File:

PDF, 179 KB

english, 2000

23

[Lecture Notes in Computer Science] Theory and Application of Diagrams Volume 1889 || Diagramming Aesthetics: Modernism and Architecture in the 21st Century

Anderson, Michael, Cheng, Peter, Haarslev, Volker

Year:

2000

File:

PDF, 336 KB

2000

24

[Lecture Notes in Computer Science] Theory and Application of Diagrams Volume 1889 || Two-Dimensional Positioning as Visual Thinking

Anderson, Michael, Cheng, Peter, Haarslev, Volker

Year:

2000

Language:

english

File:

PDF, 310 KB

english, 2000

25

Managing Requirement Volatility in an Ontology-Driven Clinical LIMS Using Category Theory

Shaban-Nejad, Arash, Ormandjieva, Olga, Kassab, Mohamad, Haarslev, Volker

Journal:

International Journal of Telemedicine and Applications

Year:

2009

Language:

english

File:

PDF, 821 KB

english, 2009

26

[ACM Press Companion to the 22nd ACM SIGPLAN conference - Montreal, Quebec, Canada (2007.10.21-2007.10.25)] Companion to the 22nd ACM SIGPLAN conference on Object oriented programming systems and applications companion - OOPSLA '07 - Towards a framework for requirement change management in healthcare software applications

Shaban-Nejad, Arash, Haarslev, Volker

Year:

2007

Language:

english

File:

PDF, 188 KB

english, 2007

27

[ACM Press the 13th annual conference - Madrid, Spain (2008.06.30-2008.07.02)] Proceedings of the 13th annual conference on Innovation and technology in computer science education - ITiCSE '08 - Web-based dynamic learning through lexical chaining

Shaban-Nejad, Arash, Haarslev, Volker

Year:

2008

Language:

english

File:

PDF, 161 KB

english, 2008

28

Web-based dynamic learning through lexical chaining

Shaban-Nejad, Arash, Haarslev, Volker

Journal:

ACM SIGCSE Bulletin

Year:

2008

Language:

english

File:

PDF, 161 KB

english, 2008

29

[ACM Press the European conference on object-oriented programming - Ottawa, Canada (1990..-..)] Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications - OOPSLA/ECOOP '90 - A framework for visualizing object-oriented systems

Haarslev, Volker, Möller, Ralf

Year:

1990

Language:

english

File:

PDF, 963 KB

english, 1990

30

Abductive Conjunctive Query Answering w.r.t. Ontologies

Möller, Ralf, Özçep, Özgür, Haarslev, Volker, Nafissi, Anahita, Wessel, Michael

Journal:

KI - Künstliche Intelligenz

Year:

2016

Language:

english

File:

PDF, 1.29 MB

english, 2016

31

The Ecology of Ontologies in the Public Domain

Baker, Christopher J. O., Warren, Robert H., Haarslev, Volker, Sugden, Sherwood J. B.

Journal:

Year:

2007

Language:

english

File:

PDF, 1.52 MB

english, 2007

32

[IEEE Third International Conference on Semantics, Knowledge and Grid (SKG 2007) - Xi'an, Shan Xi, China (2007.10.29-2007.10.31)] Third International Conference on Semantics, Knowledge and Grid (SKG 2007) - Resolving Quantifier and Number Restriction to Question OWL Ontologies

Mithun, Shamima, Kosseim, Leila, Haarslev, Volker

Year:

2007

Language:

english

File:

PDF, 220 KB

english, 2007

33

[IEEE 2017 46th International Conference on Parallel Processing Workshops (ICPPW) - Bristol, United Kingdom (2017.8.14-2017.8.17)] 2017 46th International Conference on Parallel Processing Workshops (ICPPW) - A Parallel Shared-Memory Architecture for OWL Ontology Classification

Quan, Zixi, Haarslev, Volker

Year:

2017

Language:

english

File:

PDF, 703 KB

english, 2017

34

Semantic Web Infrastructure for Fungal Enzyme Biotechnologists

Baker, Christopher J.O., Shaban-Nejad, Arash, Su, Xiao, Haarslev, Volker, Butler, Greg

Journal:

SSRN Electronic Journal

Year:

2006

Language:

english

File:

PDF, 440 KB

english, 2006